home *** CD-ROM | disk | FTP | other *** search
/ C/C++ Users Group Library 1996 July / C-C++ Users Group Library July 1996.iso / vol_200 / 226_01 / help3.aih < prev    next >
Encoding:
Text File  |  1987-12-05  |  1.0 KB  |  17 lines
  1. Queries are formed by adding a question mark to any rule construction or
  2. by using 'who', 'what' or 'describe' followed by a subject.  ART-CEE
  3. reduces these queries into subjects or subject/predicate pairs in the
  4. same way that rules are reduced.
  5.   
  6. If the query reduces to a subject/predicate pair, ART-CEE searches for
  7. all possible connections between subject and predicate.  If more than
  8. one rule is used to make that connection, ART-CEE asks you to verify that
  9. each intermediate rule is true in the current case.  If all rules 
  10. involved are verified, then a conclusion is drawn, and you are asked
  11. whether or not to add that conclusion to ART-CEE's store of knowledge.
  12.   
  13. If a 'who', 'what' or 'describe' query is entered, ART-CEE searches for
  14. all immediately-known conclusions about the subject.  No searching
  15. across multiple rules occurs.  No assumptions are made.  And ART-CEE's
  16. knowledge base will not expand.  
  17.